Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
361	Automatic Modular Abstractions for Template Numerical Constraints∗ David Monniaux† May 26, 2010 Abstract Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-05-26 10:48:57 Logic Mathematics Mathematical logic Model theory Quantification Metalogic Predicate logic Logic in computer science Quantifier elimination Abstract interpretation Quantifier FO
362	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
363	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
364	LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:42 Model theory Interpretation Substitution Compactness theorem Linear temporal logic Differential forms on a Riemann surface
365	Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-05-15 01:54:06 Lemmas Craig interpolation Mathematical logic Symbol Model theory Phi Abstraction
366	M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 07:41:22 Theoretical computer science Mathematics Finite automata Computing Theory of computation Formal methods Reachability problem Logic in computer science Model checking Memory barrier Preorder Algorithm
367	Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic Minghui Ma1 , Alessandra Palmigiano2 , and Mehrnoosh Sadrzadeh3 1 2 Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-05-03 04:30:14
368	Bayesian Artificial Intelligence 1/40 History Add to Reading List Source URL: bayesian-intelligence.com Language: English - Date: 2009-10-11 19:44:37 Statistical models Bayesian statistics Philosophy of science Statistical inference Bayesian network Graphical model Bayesian Inference Probabilistic logic Causality Judea Pearl Naive Bayes classifier
369	Abstracting Cryptographic Protocols with Tree Automata ? David Monniaux http://www.di.ens.fr/%7Fmonniaux, ´ Laboratoire d’Informatique, Ecole Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:59 Cryptography Public-key cryptography E-commerce Cryptographic protocols Internet Standards Computer security DolevYao model Cryptographic primitive Digital signature Communications protocol BurrowsAbadiNeedham logic XTR
370	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics

UPDATE